Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
51	Polly-ACC Transparent compilation to heterogeneous hardware Tobias Grosser Department of Computer Science, ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2016-05-30 17:10:42 Computing Concurrent computing Parallel computing Computer programming C++ AMP Compute kernel OpenCL General-purpose computing on graphics processing units Automatic parallelization OpenACC Linux kernel OpenMP
52	Really Automatic Scalable Object-Oriented Reengineering Marco Trudel1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 2 1 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-06-07 05:25:51 Software engineering Computing Computer programming Object-oriented programming Eiffel Class C++ classes Inheritance Object-oriented design Scala Object composition This
53	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:10 Computing Software engineering Programming language theory Parallel computing ALGOL 68 Schedule
54	Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin Add to Reading List Source URL: se.inf.ethz.ch Language: English Software engineering Theoretical computer science Formal methods Logic in computer science Computer programming Software testing Extreme programming Postcondition Software bug Precondition Assertion Random testing
55	Early Nordic compilers and autocodes VersionofPeter Sestoft IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-09-21 16:38:01 Procedural programming languages ALGOL 60 ALGOL Autocode DASK Jrn Jensen High-level programming language Regnecentralen Electronic delay storage automatic calculator Pascal BESK Compiler
56	OpenMP Fortran Application Program Interface Version 1.1–November–1999 Contents Add to Reading List Source URL: www.openmp.org Language: English - Date: 2009-09-20 00:04:18 Computing Computer programming Software engineering Parallel computing OpenMP Fortran Automatic parallelization Application programming interface Directive SPMD Include directive Runtime system
57	A history of (Nordic) compilers and autocodes Peter Sestoft Add to Reading List Source URL: www.polyglots.dk Language: English - Date: 2014-10-31 16:13:50 Computing Software engineering Procedural programming languages Computer programming X86 Autocode ALGOL Compiler-compiler Electronic delay storage automatic calculator Standard ML Programming language BESK
58	Posters at ADPatrick E. Farrell (Department of Earth Science and Engineering, Imperial College London, UK): Automating the adjoint of finite element discretisations In this work we demonstrate the capability of Add to Reading List Source URL: www.autodiff.org Language: English - Date: 2016-04-10 05:08:14 Mathematics Mathematical analysis Academia Operations research Differential calculus Automatic differentiation Computer algebra Applied mathematics Numerical analysis Finite element method Mathematical optimization Linear programming
59	Application Note: Scalable HashingProblem How can you use Judy to create a scalable hash table with outstanding performance and automatic scaling, while avoiding the complexity of dynamic hashing? Add to Reading List Source URL: judy.sourceforge.net Language: English - Date: 2004-09-10 16:20:39 Search algorithms Information science Information retrieval Hashing Computer programming Hash table Hash function Trie Judy array Hash Cuckoo hashing 2-choice hashing
60	2390 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 56, NO. 10, OCTOBER 2011 Simultaneous Optimization of Sensor Placements and Balanced Schedules Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2011-10-19 15:58:28 Operations research Mathematical optimization Submodular set function Program optimization Greedy algorithm Algorithm Linear programming Wireless sensor network Genetic algorithm scheduling Draft:Sensor selection

UPDATE